<?php
define(NAME,preg_replace('/^\/code\//','',$_GET['dir']));
echo highlight_file(NAME);